My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·15h
🦀Rust
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·2h·
Discuss: r/compsci, r/programming
⚡Performance Engineering
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·9h·
Discuss: Hacker News
⚡Performance Engineering
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4h·
Discuss: Substack
⚡Performance Engineering
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
📦WebAssembly
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔌Network Programming
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·1d·
Discuss: Hacker News
🔌Network Programming
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
✅Formal Verification
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
📦WebAssembly
Flag this post
Smaller Surfaces
nrempel.com·17h·
Discuss: Hacker News
📦WebAssembly
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·2h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·16h·
Discuss: Substack
🧠Computer Architecture
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·13h·
Discuss: Hacker News
🦀Rust
Flag this post